Synchronization Expressions: Characterization Results and Implementation
نویسندگان
چکیده
Synchronization expressions are deened as restricted regular expressions that specify synchronization constraints between parallel processes and their semantics is deened using synchronization languages. In this paper we survey results on synchronization languages, in particular various approaches to obtain an exact characterization of this language class using closure properties under a set of rewriting rules or homomorphic characterizations. Also we discuss the implementation of synchronization expressions.
منابع مشابه
Synchronization expressions and languages
Synchronization expressions (SEs) were originally developed as practical high-level constructs for specifying synchronization constraints between parallel processes. The family of synchronization languages was introduced to give a precise semantic description for synchronization expressions. In addition to its use for de ning the meaning of SEs, the family of synchronization languages is intere...
متن کاملDynamical behavior and synchronization of hyperchaotic complex T-system
In this paper, we introduce a new hyperchaotic complex T-system. This system has complex nonlinear behavior which we study its dynamical properties including invariance, equilibria and their stability, Lyapunov exponents, bifurcation, chaotic behavior and chaotic attractors as well as necessary conditions for this system to generate chaos. We discuss the synchronization with certain and uncerta...
متن کاملA Secure Chaos-Based Communication Scheme in Multipath Fading Channels Using Particle Filtering
In recent years chaotic secure communication and chaos synchronization have received ever increasing attention. Unfortunately, despite the advantages of chaotic systems, Such as, noise-like correlation, easy hardware implementation, multitude of chaotic modes, flexible control of their dynamics, chaotic self-synchronization phenomena and potential communication confidence due to the very dynami...
متن کاملChaotic dynamics and synchronization of fractional order PMSM system
In this paper, we investigate the chaotic behaviors of the fractional-order permanent magnet synchronous motor (PMSM) system. The necessary condition for the existence of chaos in the fractional-order PMSM system is deduced and an active controller is developed based on the stability theory for fractional systems. The presented control scheme is simple and flexible, and it is suitable both fo...
متن کاملWorkflow and Process Synchronization with Interaction Expressions and Graphs
Current workflow management technology does not provide adequate means for inter-workflow coordination as concurrently executing workflows are considered completely independent. While this simplified view might suffice for one application domain or the other, there are many real-world application scenarios where workflows − though independently modeled in order to remain comprehensible and mana...
متن کامل